61. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
62. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
63. Control Flow and Data Flow:
پدیدآورنده : edited by Manfred Broy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Microprogramming.
رده :
QA76
.
9
.
D5
E358
1986
64. Critical issues facing the Middle East :
پدیدآورنده : edited by James A. Russell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer network resources.,National security-- Middle East.,Computer network resources.,Economic history.,HISTORY-- Military-- Other.,Military readiness.,National security.,Politics and government,TECHNOLOGY & ENGINEERING-- Military Science.,Middle East, Defenses.,Middle East, Economic conditions, 21st century.,Middle East, Politics and government, 21st century.,Middle East., 0, 0, 0, 7
رده :
UA832
.
C75
2006eb
65. Description logic, theory combination, and all that :
پدیدآورنده : Carsten Lutz [and 4 others], (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic.,Computer logic.
رده :
QA76
.
9
.
L63
D47
2019
66. Differential calculus with computer programing
پدیدآورنده : Roa, S. Balachandra
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Calculus, differential - computer programs
رده :
QA
304
.
R36
1992
67. Differential equations :
پدیدآورنده : Barbara D. MacCluer, Paul S. Bourdon, Thomas L. Kriete
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential equations.,Differential equations.,Mathematics education -- Mathematical modeling, applications of mathematics -- Modeling and interdisciplinarity.,Partial differential equations -- Instructional exposition (textbooks, tutorial papers, etc.).
رده :
QA371
.
M1625
2019eb
68. Differential equations and their applications :
پدیدآورنده : Martin Braun.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential equations.,Équations différentielles.,Differential equations.,Differentialgleichung,Équations différentielles-- Problèmes et exercices.,Gewöhnliche Differentialgleichung
رده :
QA371
.
B795
1993eb
69. Digital image processing :
پدیدآورنده : Wilhelm Burger, Mark James Burge.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Image processing-- Digital techniques.,Java (Computer program language),Applied Physics.,Engineering & Applied Sciences.,Image processing-- Digital techniques.,Java (Computer program language)
رده :
TA1637
.
B885
2016eb
70. Domains and Processes :
پدیدآورنده : edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2001
71. Dynamical systems with applications using Python /
پدیدآورنده : Stephen Lynch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Dynamics-- Mathematical models.,Python (Computer program language),Applications of Mathematics.,Complex Systems.,Dynamical Systems and Ergodic Theory.,Mathematical and Computational Engineering.,Ordinary Differential Equations.,Statistical Physics and Dynamical Systems.,Applied mathematics.,Differential calculus & equations.,Dynamics-- Mathematical models.,Mathematics-- Applied.,Mathematics-- Differential Equations.,Mathematics-- Mathematical Analysis.,Maths for engineers.,Nonlinear science.,Python (Computer program language),Science-- Mathematical Physics.,Science-- Physics.,Statistical physics.
رده :
QA845
72. Electronic communications :
پدیدآورنده : Jeffrey S. Beasley, New Mexico State University, Jonathan D. Hymer, Mt. San Antonio College, Gary M. Miller
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Telecommunication.,Telecommunication.
رده :
TK5101
.
B3268
2014
73. Formal Engineering for Industrial Software Development :
پدیدآورنده : by Shaoying Liu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
74. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
75. Formalization of Programming Concepts:
پدیدآورنده : J Diaz
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Software engineering.
رده :
QA76
.
6
J353
1981
76. Foundations of Classical Electrodynamics
پدیدآورنده : by Friedrich W. Hehl, Yuri N. Obukhov.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cell aggregation-- Mathematics.,Mathematics.
77. Foundations of Information and Knowledge Systems.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Logic design.
78. Foundations of mathematical and computational economics /
پدیدآورنده : Kamran Dadkhah.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Econometrics.,Economics, Mathematical.,Affaires.,Econometrics.,Economics, Mathematical.,Science économique.
رده :
HB135
.
D33
2011
79. Foundations of software science and computation structures :
پدیدآورنده : FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
